Methodology for testing languages for embedded avionics systems

In this article, we have analyzed six test languages. Four proprietary languages been identified that are currently used in avionics for cyclic testing of embedded systems at different levels integration and maturity the system under test. We use Eclipse Modeling Framework with Ecore specialized modeling language to formalize various concepts interest. This will allow us access a number existing tools create custom editors, validators, code generators. Test engineers rich environment define their own models based on meta-model. propose abstract from implementation solutions work common design level. For this, mature model methods exist can be used. The proposed approach is share high-level specifications automatically maintain entire production chain.